Search results for "quantifier elimination"

showing 1 items of 1 documents

Quantifier Elimination and Rectilinearisation Theorem for Generalised Quasianalytic Algebras

2013

International audience; An algebra of germs of real functions is generalised quasianalytic if to each element of the algebra we can associate, injectively, a power series with nonnegative real exponents. We prove a quantifier elimination and a rectilinearisation result for generalised quasianalytic algebras.

Pure mathematics30D60 14P15 03C64 (primary) 32S45 (secondary)Mathematics::Complex VariablesGeneral Mathematics[MATH.MATH-AG] Mathematics [math]/Algebraic Geometry [math.AG]Mathematics::Classical Analysis and ODEso-minimality16. Peace & justice[ MATH.MATH-AG ] Mathematics [math]/Algebraic Geometry [math.AG]Mathematics - Algebraic Geometryquantifier eliminationQuantifier eliminationquasianalyticityFOS: Mathematics[MATH.MATH-AG]Mathematics [math]/Algebraic Geometry [math.AG][MATH]Mathematics [math]rectilinearisationAlgebraic Geometry (math.AG)Mathematics
researchProduct